#include<stdio.h>
extern void Prinn(const char* s);
